例句與造句

1. Michael Gelfond [ 1987 ] proposed to read \ operatorname { not } p in the body of a rule as " p is not believed ", and to understand a rule with negation as the corresponding formula of autoepistemic logic.
2. However, Michael Gelfond [ 1987 ] showed that it is also possible to interpret \ mathrm { not } ~ p literally as " p can not be shown ", " p is not known " or " p is not believed ", as in autoepistemic logic.
3. It's difficult to find michael gelfond in a sentence. 用michael gelfond造句挺難的